Concurrent algorithm - PDFSEARCH.IO - Document Search Engine

Concurrent algorithm
Results: 314

#	Item
171	Finding Linearization Violations in Lock-Free Concurrent Data Structures by Sebastien Alberto Dabdoub S.B., Massachusetts Institute of Technology (2012) Add to Reading List Source URL: pdos.csail.mit.edu Language: English - Date: 2015-03-27 16:16:57 Transaction processing Computer programming Concurrency Theoretical computer science Linearizability Non-blocking algorithm Concurrent data structure Parallel computing Sequential consistency Computing Concurrency control Concurrent computing
172	Fast Bug Finding in Lock-Free Data Structures with CB-DPOR by Jelle van den Hooff S.B., Massachusetts Institute of Technology, 2013 Add to Reading List Source URL: pdos.csail.mit.edu Language: English - Date: 2015-03-27 16:16:58 Computer programming Concurrency Software bugs Model checking Non-blocking algorithm Circular buffer Linearizability Thread Algorithm Concurrency control Computing Concurrent computing
173	Making Lockless Synchronization Fast: Performance Implications of Memory Reclamation Thomas E. Hart1∗, Paul E. McKenney2, and Angela Demke Brown1 2 University of Toronto IBM Beaverton Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2006-05-13 10:09:56 Software engineering Read-copy-update Non-blocking algorithm Thread Concurrent data structure Spinlock Lock Memory barrier ABA problem Concurrency control Computing Computer programming
174	Asynchronous Gossip CHRYSSIS GEORGIOU, University of Cyprus SETH GILBERT, National University of Singapore ´ RACHID GUERRAOUI, Ecole Polytechnique F´ed´erale de Lausanne Add to Reading List Source URL: www.cs.ucy.ac.cy Language: English - Date: 2013-05-08 04:46:40 Fault-tolerant computer systems Consensus Gossip protocol Analysis of algorithms Concurrent computing Distributed computing Randomized algorithm IP Gossip Theoretical computer science Computing Computational complexity theory
175	2D/plots/SL.nr20.nw30.f2.2D.W.eps Add to Reading List Source URL: www.cs.ucy.ac.cy Language: English - Date: 2012-04-09 04:51:58 Quorum Parallel computing Public Radio Exchange Algorithm Distributed computing Replication Transmission Control Protocol Computer data storage Futures and promises Computing Latency Concurrent computing
176	GENERAL CO-CHAIRS Susamma Barua, California State University, Fullerton, USA R. Govindarajan, Indian Institute of Science, Bangalore, India PROGRAM CHAIR Srinivas Aluru, Georgia Institute of Technology, USA Add to Reading List Source URL: www.ipdps.org Language: English - Date: 2015-02-13 15:58:10 Parallel computing Distributed computing Grid computing Scalability Algorithm Cloud computing Concurrent computing Computing International Parallel and Distributed Processing Symposium
177	A Study of the Behavior of Synchronization Methods in Commonly Used Languages and Systems Daniel Cederman, Bapi Chatterjee, Nhan Nguyen, Yiannis Nikolakopoulos, Marina Papatriantafilou and Philippas Tsigas Computer Scien Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-04-08 09:38:14 Software engineering Non-blocking algorithm Lock Monitor Thread Software transactional memory Compare-and-swap Parallel computing Scheduling Concurrency control Computing Concurrent computing
178	Deriving Linearizable Fine-Grained Concurrent Objects Martin Vechev Eran Yahav IBM Research Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:24:16 Concurrency Linearizability Algorithm Tree traversal Mutual exclusion Non-blocking algorithm Concurrent data structure Parallel computing Priority queue Concurrency control Computing Data management
179	Computer-Assisted Construction of Efficient Concurrent Algorithms Martin Vechev, Eran Yahav, Maged Michael, Hagit Attiya, Greta Yorsh Practical and efficient concurrent systems are notoriously hard to design, implement, Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:24:04 Concurrency Theoretical computer science Computer programming Algorithm Mathematical logic Non-blocking algorithm Linearizability Concurrent data structure Actor model Computing Concurrency control Concurrent computing
180	Experience with Model Checking Linearizability Martin Vechev, Eran Yahav, and Greta Yorsh IBM T.J. Watson Research Center Non-blocking concurrent algorithms offer significant performance advantages, but are very difficul Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:23:38 Transaction processing Dynamical systems Mathematics Concurrent data structure Linearization Algorithm Parallel computing Model checking Concurrency Concurrency control Computing Linearizability

UPDATE